<?php

use DateTimeImmutable;class Whatever
{

}
